Flow-Based Specification of Time Design Requirements
نویسندگان
چکیده
منابع مشابه
Flow-Based Specification of Time Design Requirements
This paper focuses on design requirements in realtime systems where information is processed to produce a response within a specified time. Nowadays, computer control applications embedded in chips have grown in significance in many aspects of human life. These systems need a high level of reliability to gain the trust of users. Ensuring correctness in the early stages of the design process is ...
متن کاملFrom Requirements Specification to Design Specification
The aim of program development process is to construct a correct program with respect to its requirements specification. Our paper deals with the first step of this process in the framework of the theory of correct programming. We construct requirements specification institution in terms of algebraic specifications, design specification institution in terms of functional programming and type th...
متن کاملIn-flight Space Flow Cytometer Specification Requirements
In the paper the working context analysis and the required project hardware and software specifications of an innovative cytometry system able to operate in the space environment are presented. This new flow cytometer is the object of the “Space micro Environment Portable Active Cytometry Terminal” research project supported by the Italian Space Agency.
متن کاملRule-Based Requirements Specification and Validation
Requirements specification has only recently been acknowledged as one of the most important phases in the overall software life cycle. Since the statement of a complete and consistent set of requirements involves user participation, our approach investigates how user oriented formalisms and techniques could be employed for the specification and capturing of requirements. We propose the use of r...
متن کاملRefinement-Based Specification: Requirements and Architecture
This paper presents the methodology for the system requirements and architecture w.r.t. their decomposition and refinement. It also introduces ideas of refinement layers and of refinement-based verification.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2015
ISSN: 2156-5570,2158-107X
DOI: 10.14569/ijacsa.2015.060804